default context câu

• A minimal default context that still yields that value as a result.
  Một ngữ cảnh mặc định nhỏ nhất mà vẫn cho ra kết quả là giá trị đó.
• Earlier, we said that pure takes a value and puts it in a default context.
  Trước đây, ta đã nói rằng pure nhận một giá trị và đặt nó vào trong một ngữ cảnh mặc định.
• We feed the monadic value m into the function and then we apply the function f to its result before putting it back into a default context.
  Ta đưa giá trị monad m vào hàm rồi áp dụng hàm f lên kết quả thu được, trước khi đặt nó vào lại ngữ cảnh mặc định.
• It adds many useful functonalities like duplicating current explorer window, open/move to/copy to bookmarked folders, hiding default context menus, and so forth.
  Nó cho thêm nhiều chức năng hữu ích như nhân đôi cửa sổ hiện tại, mở / di chuyển đến / copy tới các thư mục đánh dấu trang, ẩn menu ngữ cảnh mặc định, và vv.
• It takes a boolean value and if it's True, takes a () and puts it in a minimal default context that still succeeds.
  Nó nhận một giá trị boole và trong trường hợp đó là True, thì nhận vào một () rồi đặt nó vào trong một ngữ cảnh mặc định tối thiểu mà vẫn đảm bảo thành công.
• If we want to turn an empty list into an applicative with a list of results, well, we just put an empty list in a default context.
  Nếu ta muốn chuyển đổi một danh sách rỗng thành một functor áp dụng với một danh sách các kết quả, thì ta chỉ việc đặt danh sách rỗng vào trong một ngữ cảnh mặc định.
• It adds many useful functonalities like duplicating current explorer window, open/move to/copy to bookmarked folders, hiding default context menus, and so forth.
  Nó bổ sung nhiều chức năng hữu ích như sao chép cửa sổ explorer hiện tại, mở / di chuyển đến / sao chép vào các thư mục được đánh dấu, ẩn các menu ngữ cảnh mặc định, v.v.
• If we just put a function in a default context and then extract and apply it to a value inside another applicative functor, we did the same as just mapping that function over that applicative functor.
  Nếu ta chỉ đặt một hàm vào trong một ngữ cảnh mặc định rồi kết xuất và áp dụng nó cho một giá tị bên trong một functor áp dụng khác, thì ta đã làm việc giống như là ánh xạ hàm đó lên functor áp dụng nêu trên.
• The first monad law states that if we take a value, put it in a default context with return and then feed it to a function by using >>=, it's the same as just taking the value and applying the function to it.
  Định luật monad thứ nhất phát biểu rằng nếu ta nhận một giá trị, đặt nó vào trong một ngữ cảnh mặc định bằng return rồi đưa nó vào một hàm bằng >>=, thì cũng giống như là chỉ việc lấy giá trị rồi áp dụng hàm lên nó.
• Then, we learned about improved functors called applicative functors, which allowed us to apply normal functions between several applicative values as well as to take a normal value and put it in some default context.
  Sau đó, ta đã học về các functor cải tiến, gọi là functor áp dụng, vốn cho phép ta áp dụng những functor thường đối vói một số giá trị áp dụng, cũng như lấy một giá trị thường rồi đặt nó vao trong một ngữ cảnh mặc định nào đó.